package src.util;

import java.util.HashMap;
import java.util.Map;

import checkers.nullness.quals.*;
import checkers.quals.DefaultLocation;
import checkers.quals.DefaultQualifier;
import checkers.javari.quals.Mutable;
import checkers.javari.quals.ReadOnly;


@DefaultQualifier(value = "checkers.nullness.quals.NonNull", locations =
{ DefaultLocation.ALL_EXCEPT_LOCALS })
public class MiniMap<K extends Object,@Nullable V> {
	@SuppressWarnings("nullness:generic.argument")
	private final Map<K,@Nullable V> carrier = new HashMap<K, @Nullable V>();
	
	public void put(K key, @Nullable V value) {
		carrier.put(key,value);
	}

	public @Nullable V get(K key) {
		return carrier.get(key);
	}
	
	public boolean containsKey(K key) {
		return carrier.containsKey(key);
	}
}
